The evaluation of first-order substitution is monadic second-order compatible
نویسندگان
چکیده
منابع مشابه
The evaluation of first-order substitution is monadic second-order compatible
We denote rst-order substitutions of nite and in nite terms by function symbols indexed by the sequences of rst-order variables to which substitutions are made. We consider the evaluation mapping from in nite terms to in nite terms that evaluates these substitution operations. This mapping may perform in nitely many nested substitutions, so that a term which has the structure of an in nite stri...
متن کاملFirst order quantifiers in~monadic second order logic
This paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the toolkit of Janin and Marcinkowski [JM01]. We introduce an operation existsn(S) on properties S that says “there are n components having S”. We use this operation to show that under natural strictness conditions, adding a first order quantifier word u to th...
متن کاملSemantical Evaluations as Monadic Second-Order Compatible Structure Transformations
A transformation of structures τ is monadic second-order compatible (MS-compatible) if every monadic second-order property P can be effectively rewritten into a monadic second-order property Q such that, for every structure S, if T is the transformed structure τ (S), then P (T ) holds iff Q(S) holds. We will review Monadic Second-order definable transductions (MS-transductions): they are MS-com...
متن کاملMonadic Second-Order Unification Is NP-Complete
Monadic Second-Order Unification (MSOU) is Second-Order Unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding whether a set of monadic equations has a unifier is NP-complete. We also prove that Monadic Second-Order Matching is also NP-complete.
متن کاملOn the second order first zagreb index
Inspired by the chemical applications of higher-order connectivity index (or Randic index), we consider here the higher-order first Zagreb index of a molecular graph. In this paper, we study the linear regression analysis of the second order first Zagreb index with the entropy and acentric factor of an octane isomers. The linear model, based on the second order first Zag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00012-9